plus [JavaScript snippet]

function main() {

  txt_out(null +  42 );  // 42
  txt_out(null + "42");  // null42
  txt_out(42   + null);  // 42
  txt_out("40" +  "2");  // 402
  txt_out(null + null);  // 0

}