<html><head><meta http-equiv=Content-Type content='text/html; charset=gb2312'></head> document.write('142');