document.write('951142');