Deprecated: (rune) mysql_connect(): The mysql extension is deprecated and will be removed in the future: use mysqli or PDO instead in
/afs/athena.mit.edu/activity/r/rune/web_scripts/art_view.php on line
46
Michael Benson, Erik Demaine, and Martin Demaine