document.write( ' 3101 ')