');\n"; echo "document.write('function openwinplanete(theURL,winName,features)');\n"; echo "document.write('{');\n"; echo "document.write('window.open(theURL,winName,features);');\n"; echo "document.write('}');\n"; echo "document.write('');\n"; affichage_jeux_jour ($pop); ?>