document.write ('3001');