document.write (" 4072 ");