document.write (" 6753 ");