document.write (" 13962 ");