document.write (" 6746 ");