// Fichier JScript