document.write ('12093');