document.write (" 6721 ");