document.write (" 18012 ");