document.write (" 12072 ");