document.write ('7936');