document.write (" 6201 ");