document.write (" 6772 ");