document.write (" 6072 ");