document.write (" 6195 ");