Copyright(C) 2010 PVS