document.write (" 6723 ");