document.write (" 12054 ");