document.write(13942);