document.write('951200');