document.write (" 12027 ");