document.write (" 12041 ");