document.write('950412');