document.write('01218');