document.write (" 11702 ");