document.write (" 20612 ");