document.write ('12320');