document.write (" 6073 ");