document.write (" 12045 ");