document.write (" 6815 ");