document.write (" 10057 ");