document.write (" 30142 ");