Copyright(C) 2009 PVS