document.write (" 6741 ");