document.write ("13700");