document.write (" 6835 ");