würde mir in PHP gern sowas angewöhnen /* @return int (hopefully) ;)