if ( a != null && a != void 0 ) return a; else return 0; 
if ( a != null && a != void 0 ) return a; else return 0; 
function TestAnd( a ) {    if ( a != null && a != void 0 )	return a;    else	return 0;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/tostring-2.js/clean/js/tests/js1_2/function/tostring-2.js