def findstring(string1, string2):
  if re.search(r'(^|[^a-z0-9])'+re.escape(string1)+r'($|[^a-z0-9])',

<?
  session_start();
  $username = $_POST["username"];
  $password = $_POST["password"];

  include '../connect.php';

  $sql = sprintf( "SELECT * FROM

javascript:(function(){ 
var obj={"link1":"http://google.com", "link2":"http://yahoo.com"};
for(key in obj){
var val=obj[key];
window.open(decodeURIComponent(val));

var string  = "http://www.google.com http://www.yahoo.com http://www.facebook.com";
var several = string.match( /www.(\w+).com/g

function confirmPost() {
  var agree = confirm("Are you sure you want to remove?");
  if ( agree ) {
    return true;
  } else {
    return false;
  }
}

var down = false;
  $('table.weekly_schedule').mousedown( function(){
    down = true;
  } );
  $('table.weekly_schedule').mouseup( function(){
    down = false;
  } );
  $('table.weekly_schedule td.hour').mouseenter( function(){
    if ( ! down )
      return;
    $(this).trigger(

 $sql = ( 'SELECT tag, title, author, content, id FROM labels' );
 $result = mysql_query( $sql );
 $Response

{
  -49: {
    -1: {
         value: "6.0366"
         name: "D. Aardsma"
         }
    -2: {
         value: "7.8261"

definitions = <?= json_encode ($def); ?>

<script>
definitions = <?= json_encode ($def); ?>

function refreshDefinition( stat_id ) {
var definition = definitions[ stat_id ];

<span onclick="RGraph.showPNG(document.getElementById('myLine'), event);">Get PNG</span>