function playMenu() { document.write( '
' ); }