document.write (" 12073 ");