document.write (" 12504 ");